|
|
Service
Current Service
Past Program Committees/Service
- PC Member, International Conference of Evaluation of Novel Approaches to Software Engineering (2024)
- Review Board IEEE Transactions on Software Engineering (2018-2023)
- International Symposium on Formal Methods (FM), 2023
-
FME Conference on Formal Methods in Software Engineering (FormaliSE), 2023-2014
- Section Chair, NSERC Discovery Grants Program Computer Science Evaluation Group (EG 1507) (2021 - 2022)
- Member, NSERC Discovery Grants Program Computer Science Evaluation Group (EG 1507) (2019 - 2021)
- Program Chair, FME Conference on Formal Methods in Software Engineering (FormaliSE), 2020
- ECMFA 2017: European Conference on Modelling Foundations and Applications), 2017
- International Conference on Fundamental Approaches to Software Engineering
(FASE), 2016, 2014
-
Formal Verification for Practicing Engineers (FVPE), an ISSRE Workshop, 2016
- International Workshop on
Modelling in Automotive Software Engineering (MASE), a workshop of MODELS, 2015
- ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2015
- International Conference on Formal Methods for Open Object-based Distributed Systems
and the 31th edition of the International Conference on FORmal TEchniques for
Networked and Distributed Systems (FMOODS & FORTE), 2011
-
IPM International Workshop on Foundations of Software
Engineering (FSEN), 2007, 2005
-
International Workshop on Requirements Engineering
Visualization (REV, a workshop of RE), 2009-2006
-
IEEE International Conference on Requirements
Engineering (RE), 2006
-
International Conference on Formal Methods
in Computer Aided Design (FMCAD), 2004
Selected Past University Service
- Member, UW NSERC Research Incentive Funds (RIF) Committee (2020 - 2022)
- UW CS Women in Computer Science Committee (WICS) (Jul 2019 - Jun 2023)
-
UW CS Graduate Student Advocate (Sep 2016 - Jul 2019)
- Member, Steering committee for the development of an
annual graduate and postdoctoral student conference as part of UW's involvement in the UN
Women's HeForShe campaign and IMPACT 10x10x10 (Sep 2015 - Aug 2018)
|
